منابع مشابه
SMC Rover: Planetary Rover with Transformable Wheels
We are proposing a new planetary rover system called “SMC rover”. This system consists of one main body and some wheel units, which are detachable and able to work as child rovers, called “Uni-Rover”. Trial models of “Uni-Rover” and “SMC rover” have been designed. This paper explains the mechanisms of this rover, and also the results of basic experiments on locomotion, manipulation and transfor...
متن کاملThe Temporal Rover and the ATG Rover
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time Temporal Logic (LTL) and Metric Temporal Logic (MTL), with conventional simulation/execution based testing. The Temporal Rover is tailored for the verification of complex protocols and reactive systems where behavior ...
متن کاملRover Localization Results for the FIDO Rover
This paper describes the development of a two-tier state estimation approach for NASA/JPL’s FIDO Rover that utilizes wheel odometry, inertial measurement sensors, and a sun sensor to generate accurate estimates of the rover’s position and attitude throughout a rover traverse. The state estimation approach makes use of a linear Kalman filter to estimate the rate sensor bias terms associated with...
متن کاملRouting in Bidirectional k-ary n-cubes with the Red Rover Algorithm
The Red Rover algorithm previously presented for deadlock-free routing in rings is applied to bidirectional k-ary n-cube multicomputer networks in this work. This algorithm provides greater throughput and lower message latencies than alternative algorithms in most cases. The increased performance ooered by this algorithm for wormhole-routed networks is quantiied through simulation experiments. ...
متن کاملThe Red Rover Algorithm for Deadlock-Free Routing on Bidirectional Rings
An algorithm for deadlock-free routing in bidirectional ring structures in multicomputer networks is presented. This algorithm provides greater throughput and lower message latencies than those of previously presented ring routing algorithms. Insight into these results is given by a message traÆc analysis, and increased performance for wormhole-routed networks is quanti ed through simulation ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Geophysics
سال: 1999
ISSN: 1366-8781,1468-4004
DOI: 10.1093/astrog/40.1.1.5